搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	European Conference on Electronic Design Automation (EDA84), 26-30 March 1984 0 索取号：TP27-53/E902 作者：European Conference on Electronic Design Automation (1984 : University of Warwick)、Institution of Electrical Engineers. Electronics Division.、British Computer Society.、出版社：London ; New York : Venue The Institution of Electrical Engineers, 1984.		Curriculum for test technology : M.E.I.S. Center, University of Minnesota, Minneapolis, 1983, November 16-17, 1983 0 索取号：TP216-53/E902/1983 作者：出版社：N.J. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	Autotestcon '83, November 1,2,3, Hyatt Regency, Tarrant County Convention Center, Fort Worth, Texas new horizons in automatic testing 0 索取号：TP216-53/E901/1983 作者：Autotestcon '83 (1983 : Fort Worth、 Tex.)、Institute of Electrical and Electronics Engineers.、出版社：New York, NY : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Copies from Order Dept., IEEE, c1983.		Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 3-13, 1991 : proceedings 0 索取号：TP18-532/E9916 作者：International Workshop FAIR '91 (1991 : Smolenice、 Slovakia)、Jorrand、 Ph. (Philippe)、Kelemen、 Jozef、 1951-、出版社：Berlin ; New York: Springer-Verlag, 1991.
	Parallel architectures and neural networks : fourth Italian workshop, Vietri sul Mare, Salerno, 8-10 May 1991 0 索取号：TP18-53/E991/4 作者：出版社：Singapore ; River Edge, N.J. : World Scientific, 1991.		Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems : Knoxville, Tennessee, October 22-24, 1986 0 索取号：TP11-53/E9011/1 作者：International Symposium on Methodologies for Intelligent Systems (1st : 1986 : Knoxville、 Tenn.)、Ras、 Zbigniew.、Zemankova、 Maria.、SIGART.、University of Tennessee、 Knoxville.、出版社：New York, N.Y. : ACM Special Interest Group on Artificial Intelligence ; Baltimore, MD : ACM Order Dept. [distributor], c986.
	Proceedings, IEEE Conference on Managing Expert System Programs and Projects, Holiday Inn, Bethesda, Maryland, September 10-12, 1990 0 索取号：TP18-53/E997/1990 作者：IEEE Conference on Managing Expert System Programs and Projects (1990 : Bethesda、 Md.)、Liebowitz、 Jay.、Feinstein、 Jerald.、Shumaker、 Randall.、IEEE Computer Society. Technical Committee on Expert Systems Applications.、EXSYS Corporation.、出版社：Washington Los Alamitos, Calif. : IEEE Computer Society Press, 1990.		Expert systems integration : proceedings of the BANKAI Workshop, Brussels, Belgium, 12-14 September 1990 0 索取号：TP18-53/E996/1 作者：BANKAI Workshop (1st : 1990 : Brussels、 Belgium)、Society for Worldwide Interbank Financial Telecommunication、出版社：Amsterdam ; New York : North Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
	Proceedings 0 索取号：TP18-53/E902/4 作者：AI Systems in Government Conference (4th : 1989 : Washington、 D.C.)、Antonisse、 H. James.、Benoit、 John W.、Silverman、 Barry G.、IEEE Computer Society.、Mitre Corporation.、George Washington University.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, c1989.		AI and cognitive science '89 : Dublin City University, 14-15 September, 1989 0 索取号：TP18/E9926 作者：出版社：London ; New York : Springer-Verlag, 1990.
	Information systems design methodologies : a feature analysis : Proceedings of the IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies, York, U.K., 5-7 July, 1983 0 索取号：TP14-53/E905 作者：IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies (1983 : York、 England)、Olle、 T. William.、Sol、 H. G. (Henk G.)、 1951-、Tully、 C. J. (Colin J.)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		Methodology in computer graphics : Seillac I : IFIP Workshop on Methodology in Computer Graphics, Seillac, France, May 1976 0 索取号：TP14-53/E804/1976 作者：IFIP Workshop on Methodology in Computer Graphics (1976 : Seillac、 France)、Guedj、 Richard A.、Tucker、 Hugh A.、International Federation for Information Processing. Working Group 5.2--Computer-aided Design.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.
	Information and systems : proceedings of the IFAC workshop, Compiegne, France, 25-27 October 1977 0 索取号：TP14-53/E801 作者：Ifac Workshop on Information and Systems、 Compiegne、 France、 1977.、Dubuisson、 Bernard.、Association fraņЦaise pour la cyberńЕtique ́Еconomique et technique.、出版社：Oxford ; New York : published for the International Federation of Automatic Control by Pergamon Press, 1977,c1978.		EUROGRAPHICS 80 : proceedings of the international conference and exhibition, University of Geneva, Switzerland, 3-5 September 1980 0 索取号：TP14-53/E9011/1980 作者：EUROGRAPHICS 80 (1980 : University of Geneva)、Vandoni、 C. E.、European Association for Computer Graphics.、Schweizerische Gesellschaft f̈Уr Automatik. Section genevoise.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
	Data analysis and informatics, III : proceedings of the Third International Symposium on Data Analysis and Informatics 0 索取号：TP14-53/E9012/3 作者：International Symposium on Data Analysis and Informatics (3rd : 1983 : Versailles、 France)、Diday、 E.、Institut national de recherche en informatique et en automatique (France)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.		Simulation of distributed-parameter and large-scale systems : proceedings of the IMACS European Simulation Meeting on Simulation of Distributed-Parameter and Large-Scale Systems, University of Patras, Patras, Greece, October 2-4, 1979 0 索取号：TP13-53/E903 作者：IMACS European Simulation Meeting on Simulation of Distributed-Parameter and Large-Scale Systems (1979 : University of Patras)、Tzafestas、 S. G.、 1939-、International Association for Mathematics and Computers in Simulation.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for USA and Canada, Elsevier North-Holland, 1980.

	European Conference on Electronic Design Automation (EDA84), 26-30 March 1984 0 索取号：TP27-53/E902 作者：European Conference on Electronic Design Automation (1984 : University of Warwick)、Institution of Electrical Engineers. Electronics Division.、British Computer Society.、出版社：London ; New York : Venue The Institution of Electrical Engineers, 1984.		Curriculum for test technology : M.E.I.S. Center, University of Minnesota, Minneapolis, 1983, November 16-17, 1983 0 索取号：TP216-53/E902/1983 作者：出版社：N.J. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	Autotestcon '83, November 1,2,3, Hyatt Regency, Tarrant County Convention Center, Fort Worth, Texas new horizons in automatic testing 0 索取号：TP216-53/E901/1983 作者：Autotestcon '83 (1983 : Fort Worth、 Tex.)、Institute of Electrical and Electronics Engineers.、出版社：New York, NY : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Copies from Order Dept., IEEE, c1983.		Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 3-13, 1991 : proceedings 0 索取号：TP18-532/E9916 作者：International Workshop FAIR '91 (1991 : Smolenice、 Slovakia)、Jorrand、 Ph. (Philippe)、Kelemen、 Jozef、 1951-、出版社：Berlin ; New York: Springer-Verlag, 1991.
	Parallel architectures and neural networks : fourth Italian workshop, Vietri sul Mare, Salerno, 8-10 May 1991 0 索取号：TP18-53/E991/4 作者：出版社：Singapore ; River Edge, N.J. : World Scientific, 1991.		Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems : Knoxville, Tennessee, October 22-24, 1986 0 索取号：TP11-53/E9011/1 作者：International Symposium on Methodologies for Intelligent Systems (1st : 1986 : Knoxville、 Tenn.)、Ras、 Zbigniew.、Zemankova、 Maria.、SIGART.、University of Tennessee、 Knoxville.、出版社：New York, N.Y. : ACM Special Interest Group on Artificial Intelligence ; Baltimore, MD : ACM Order Dept. [distributor], c986.
	Proceedings, IEEE Conference on Managing Expert System Programs and Projects, Holiday Inn, Bethesda, Maryland, September 10-12, 1990 0 索取号：TP18-53/E997/1990 作者：IEEE Conference on Managing Expert System Programs and Projects (1990 : Bethesda、 Md.)、Liebowitz、 Jay.、Feinstein、 Jerald.、Shumaker、 Randall.、IEEE Computer Society. Technical Committee on Expert Systems Applications.、EXSYS Corporation.、出版社：Washington Los Alamitos, Calif. : IEEE Computer Society Press, 1990.		Expert systems integration : proceedings of the BANKAI Workshop, Brussels, Belgium, 12-14 September 1990 0 索取号：TP18-53/E996/1 作者：BANKAI Workshop (1st : 1990 : Brussels、 Belgium)、Society for Worldwide Interbank Financial Telecommunication、出版社：Amsterdam ; New York : North Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
	Proceedings 0 索取号：TP18-53/E902/4 作者：AI Systems in Government Conference (4th : 1989 : Washington、 D.C.)、Antonisse、 H. James.、Benoit、 John W.、Silverman、 Barry G.、IEEE Computer Society.、Mitre Corporation.、George Washington University.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, c1989.		AI and cognitive science '89 : Dublin City University, 14-15 September, 1989 0 索取号：TP18/E9926 作者：出版社：London ; New York : Springer-Verlag, 1990.
	Information systems design methodologies : a feature analysis : Proceedings of the IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies, York, U.K., 5-7 July, 1983 0 索取号：TP14-53/E905 作者：IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies (1983 : York、 England)、Olle、 T. William.、Sol、 H. G. (Henk G.)、 1951-、Tully、 C. J. (Colin J.)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		Methodology in computer graphics : Seillac I : IFIP Workshop on Methodology in Computer Graphics, Seillac, France, May 1976 0 索取号：TP14-53/E804/1976 作者：IFIP Workshop on Methodology in Computer Graphics (1976 : Seillac、 France)、Guedj、 Richard A.、Tucker、 Hugh A.、International Federation for Information Processing. Working Group 5.2--Computer-aided Design.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.
	Information and systems : proceedings of the IFAC workshop, Compiegne, France, 25-27 October 1977 0 索取号：TP14-53/E801 作者：Ifac Workshop on Information and Systems、 Compiegne、 France、 1977.、Dubuisson、 Bernard.、Association fraņЦaise pour la cyberńЕtique ́Еconomique et technique.、出版社：Oxford ; New York : published for the International Federation of Automatic Control by Pergamon Press, 1977,c1978.		EUROGRAPHICS 80 : proceedings of the international conference and exhibition, University of Geneva, Switzerland, 3-5 September 1980 0 索取号：TP14-53/E9011/1980 作者：EUROGRAPHICS 80 (1980 : University of Geneva)、Vandoni、 C. E.、European Association for Computer Graphics.、Schweizerische Gesellschaft f̈Уr Automatik. Section genevoise.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
	Data analysis and informatics, III : proceedings of the Third International Symposium on Data Analysis and Informatics 0 索取号：TP14-53/E9012/3 作者：International Symposium on Data Analysis and Informatics (3rd : 1983 : Versailles、 France)、Diday、 E.、Institut national de recherche en informatique et en automatique (France)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.		Simulation of distributed-parameter and large-scale systems : proceedings of the IMACS European Simulation Meeting on Simulation of Distributed-Parameter and Large-Scale Systems, University of Patras, Patras, Greece, October 2-4, 1979 0 索取号：TP13-53/E903 作者：IMACS European Simulation Meeting on Simulation of Distributed-Parameter and Large-Scale Systems (1979 : University of Patras)、Tzafestas、 S. G.、 1939-、International Association for Mathematics and Computers in Simulation.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for USA and Canada, Elsevier North-Holland, 1980.